#include <kernel.h>
#include <type.h>
#include <io.h>
#include <string.h>
#include <console.h>
#include <stdarg.h>
#include <printk.h>
#include <assert.h>
#include <debug.h>
#include <global_gdt.h>
#include <task.h>


int magicData = KERNEL_MAGIC;
char msgStart[] = "entry c code, kernel start!\n"; // 将存储在.data段


void kernel_init()
{
    ConsoleInit();
    GdtInit();
    ConsoleWrite(msgStart, sizeof(msgStart) - 1);
    TaskInit();
    LOG_INFOK("kernel init finished");
}

